Reverse Triangle Inequality

The reverse triangle inequality, sometimes called the circle inequality (see below) is a simple consequence of the triangle inequality.

Theorem

For any x,y in a normed vector space (X,)

|xy|xy.
Proof

We first consider the norm of x expressed in terms of y, and apply the triangle inequality:

x=xy+yxy+y.

This implies that:

|xyxy.

Since x and y are generic, we also have that:

yxxy(|xy)xy.

Combining these results we have the desired inequality:

|xy|xy.

Geometric Intuition


This inequality is also sometimes called the circle inequality due to the below interpretation in R2 with the Euclidean norm or C with the complex modulus.

Given two complex numbers z and w, with two circles drawn for the set of points with modulus equal to that of z and w each. Then, |zw| is the distance between a point on the inner circle and a point on the outer circle, while ||z||w|| is the difference between the radii of the two circles. The latter is the minimum of the former.